#include <stdio.h>


int main() {
int n;
scanf("%d",&n);
int i;
int num=0;
    for(i=1;i<=n;i++)
    {
        if(i%7==0)
        {
            num++;
            continue;
        }
        int dat = i;
        while (dat!=0)
        {
            if(dat%10==7)
            {
                num++;
                break;
            }
            dat = dat/10;
        }
        
    }
        printf("%d",num);
    return 0;
}